#include<stdio.h>
#include<string.h>
struct xp
{
	char name[9];
	int piao;
};
int main()
{
	struct xp arr[3];
	for(int i=0;i<3;i++)
	{
		scanf("%s %d",arr[i].name,&arr[i].piao);
		getchar();
	}
	int N;
	scanf("%d",&N);
	char ch[N][9];
	for(int i=0;i<N;i++)
	{    scanf("%s",ch[i]);
		if(strcmp(ch[i],arr[0].name)==0)
		{
			arr[0].piao++;
		}
		else if (strcmp(ch[i],arr[1].name)==0)
		{
			arr[1].piao++;
		}
		else
		{
			arr[2].piao++;
		}
	}
	for(int j=0;j<3;j++,printf("\n"))
	printf("%s:%d",arr[j].name,arr[j].piao);
}
